منابع مشابه
Unification Under a Mixed Prefix
Unification problems are identified with conjunctions of equations between simply typed λ-terms where free variables in the equations can be universally or existentially quantified. Two schemes for simplifying quantifier alternation, called Skolemization and raising (a dual of Skolemization), are presented. In this setting where variables of functional type can be quantified and not all types c...
متن کاملPrefix Coding under Siege
A novel lossless source coding paradigm applies to problems in which a vital message needs to be transmitted prior to termination of communications, as in Alfréd Rényi’s secondhand account of an ancient siege in which information was obtained to prevent the fall of a fortress. Rényi told this story with reference to traditional prefix coding, in which the objective is minimization of expected c...
متن کاملMinimal and Complete Prefix Unification for Non-Classical Theorem Proving
For theorem proving in non-classical logics two similar approaches have been established: a matrix characterization of Wallen and Ohlbach’s resolution calculus. In both cases the essential extension of the classical calculi is a need for unifying the so-called prefixes of atomic formulae or so-called world-paths respectively. We present a specialized string-unification algorithm which computes ...
متن کاملProspects for unification under 4-dimensional optics
4-dimensional optics is here introduced axiomatically as the space that supports a Universal wave equation which is applied to the postulated Higgs field. Self-guiding of this field is shown to produce all the modes necessary to provide explanations for the known elementary particles. Forces are shown to appear as evanescent fields due to waveguiding of the Higgs field, which provide coupling b...
متن کاملMixed Duopoly Under Vertical Differentiation
– In this paper we study a vertically differentiated duopoly market with a profit maximizing firm (private firm) and a total surplus maximizing firm (public firm). The technological conditions are assumed identical for both firms and are described by unit costs which are constant with respect to quantity, though increasing in quality. No specific form is given to the relation between unit costs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1992
ISSN: 0747-7171
DOI: 10.1016/0747-7171(92)90011-r